axiomatization process

axiomatization process
процесс аксиоматизации

Англо-русский словарь по исследованиям и ноу-хау. . 2015.

Игры ⚽ Нужно решить контрольную?

Смотреть что такое "axiomatization process" в других словарях:

  • axiomatization — (Amer.) n. act of expressing a theory as a set of axioms; process of reducing to a system of axioms (also axiomatisation) …   English contemporary dictionary

  • axiomatization — noun Date: 1931 the act or process of reducing to a system of axioms • axiomatize transitive verb …   New Collegiate Dictionary

  • axiomatization — noun a) The act of making axiomatic. b) The act or process of establishing a concept within a system of axioms. See Also: axiom, axiomatic, axiomatize …   Wiktionary

  • axiomatization — ˌaksēˌäməd.ə̇ˈzāshən, məˌtīˈz noun ( s) : the act or process of axiomatizing compare formalization …   Useful english dictionary

  • Stochastic process — A stochastic process, or sometimes random process, is the counterpart to a deterministic process (or deterministic system) in probability theory. Instead of dealing with only one possible reality of how the process might evolve under time (as is… …   Wikipedia

  • Function (mathematics) — f(x) redirects here. For the band, see f(x) (band). Graph of example function, In mathematics, a function associates one quantity, the a …   Wikipedia

  • Halting problem — In computability theory, the halting problem can be stated as follows: Given a description of a computer program, decide whether the program finishes running or continues to run forever. This is equivalent to the problem of deciding, given a… …   Wikipedia

  • Mereology — In philosophy and mathematical logic, mereology (from the Greek μέρος, root: μερε(σ) , part and the suffix logy study, discussion, science ) treats parts and the wholes they form. Whereas set theory is founded on the membership relation between a …   Wikipedia

  • science, philosophy of — Branch of philosophy that attempts to elucidate the nature of scientific inquiry observational procedures, patterns of argument, methods of representation and calculation, metaphysical presuppositions and evaluate the grounds of their validity… …   Universalium

  • John von Neumann — Von Neumann redirects here. For other uses, see Von Neumann (disambiguation). The native form of this personal name is Neumann János. This article uses the Western name order. John von Neumann …   Wikipedia

  • Charles Sanders Peirce —  B …   Wikipedia


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»